A Quantum Physical Design Flow Using ILP and Graph Drawing
نویسندگان
چکیده
Implementing large-scale quantum circuits is one of the challenges of quantum computing. One of the central challenges of accurately modeling the architecture of these circuits is to schedule a quantum application and generate the layout while taking into account the cost of communications and classical resources as well as the maximum exploitable parallelism. In this paper, we present and evaluate a design flow for arbitrary quantum circuits in ion trap technology. Our design flow consists of two parts. First, a scheduler takes a description of a circuit and finds the best order for the execution of its quantum gates using integer linear programming (ILP) regarding the classical resources (qubits) and instruction dependencies. Then a layout generator receives the schedule produced by the scheduler and generates a layout for this circuit using a graph-drawing algorithm. Our experimental results show that the proposed flow decreases the average latency of quantum circuits by about 11% for a set of attempted benchmarks and by about 9% for another set of benchmarks compared with the best in literature.
منابع مشابه
Bend Minimization in Planar Orthogonal Drawings Using Integer Programming
We consider the problem of minimizing the number of bends in a planar orthogonal graph drawing. While the problem can be solved via network flow for a given planar embedding of a graph G, it is NP-hard if we consider the set of all planar embeddings of G. Our approach for biconnected graphs combines an integer linear programming (ILP) formulation for the set of all embeddings of a planar graph ...
متن کاملQuantitative Structure-Property Relationship to Predict Quantum Properties of Monocarboxylic Acids By using Topological Indices
Abstract. Topological indices are the numerical value associated with chemical constitution purporting for correlation of chemical structure with various physical properties, chemical reactivity or biological activity. Graph theory is a delightful playground for the exploration of proof techniques in Discrete Mathematics and its results have applications in many areas of sciences. A graph is a ...
متن کاملComputing Maximum C-Planar Subgraphs
Deciding c-planarity for a given clustered graph C = (G, T ) is one of the most challenging problems in current graph drawing research. Though it is yet unknown if this problem is solvable in polynomial time, latest research focused on algorithmic approaches for special classes of clustered graphs. In this paper, we introduce an approach to solve the general problem using integer linear program...
متن کاملImproving the WCET computation time by IPET using control flow graph partitioning
Implicit Path Enumeration Technique (IPET) is currently largely used to compute Worst Case Execution Time (WCET) by modeling control flow and architecture using integer linear programming (ILP). As precise architecture effects requires a lot of constraints, the super-linear complexity of the ILP solver makes computation times bigger and bigger. In this paper, we propose to split the control flo...
متن کاملQca-based Nano Circuits Design
In order to design large digital circuits using Quantum-Dot Cellular Automata(QCA) cells, CAD tools and automated design methodology for QCA circuits are essential. This paper presents a QCA circuits design methodology based on traditional CMOS circuits design flow. This QCA circuits design methodology utilizes the current CMOS circuits design tools such as HSPICE and Synopsys Design Compiler. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Quantum Information Processing
دوره 12 شماره
صفحات -
تاریخ انتشار 2013